package it.crosato.stage.server.model.comparison;

import it.crosato.stage.shared.objects.InvariantsGroup;

import org.junit.After;
import org.junit.Before;
import org.junit.Test;

import static org.junit.Assert.*;


public class InvariantsCalculatorTest {

	@Test
	public void testGetInvariants() {
		int[][] A = {
				{0,1,0,0,1,2,0},
				{1,1,0,1,0,0,0},
				{1,0,2,0,1,0,1},
				{0,1,1,0,1,0,0}
		};
		String sid = "sid";
		String path = System.getProperty("user.home") + "/";
		InvariantsGroup invs = InvariantsCalculator.getInvariants(A, sid, path);
		assertTrue(invs != null);
	}
	
	@Before
	public void setUp() {
		
	}
	
	@After
	public void tearDown() {
		
	}
}
